B. Jack Copeland the Genesis of Possible Worlds Semantics
نویسنده
چکیده
This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913–1921; Feys, 1924; McKinsey, 1945; Carnap, 1945–1947; McKinsey, Tarski and Jónsson, 1947–1952; von Wright, 1951; Becker, 1952; Prior, 1953– 1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955–1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958–1959; Drake, 1959–1961; Kripke, 1958–1965.
منابع مشابه
The Russell-kaplan Paradox and Other Modal Paradoxes: a New Solution
The most successful semantics for modal logic in the narrow sense, the logic of possibility, necessity, impossibility and contingency, has been possible worlds semantics. And though various kinds of algebraic semantics (as in Bealer 1982) are emerging as noteworthy rivals to possible worlds semantics in the area of general intensional logic (such as the logic of propositional attitudes, etc.), ...
متن کاملAnalyzing the problem of meaning in Shabastari’s Golshane Raz
Man has always been finding a complete model for semantics since the beginning. A model which can as a paradigm affects all branches of sciences. In the view of author, such a model can be found in Golshane Raz. Introducing the model from the work mentioned, the paper has tried to explain its sub structural foundations in three fields of ontology, epistemology and semantics. Some of the foundat...
متن کاملUltraproducts and possible worlds semantics in institutions
We develop possible worlds (Kripke) semantics at the categorical abstract model theoretic level provided by the so-called ‘institutions’. Our general abstract modal logic framework provides a method for systematic Kripke semantics extensions of logical systems from computing science and logic. We also extend the institution-independent method of ultraproducts of [R. Diaconescu, Institution-inde...
متن کاملConstructive Ck for Contexts
This note describes possible world semantics for a constructive modal logic CK. The system CK is weaker than other constructive modal logics K as it does not satisfy distribution of possibility over disjunctions, neither binary (3(A ∨ B) → 3A ∨ 3B) nor nullary (3⊥ → ⊥). Our intuition is that 3⊥ should not constructively imply ⊥, thus we dispense with both forms of distribution. We are intereste...
متن کاملAgnostic Possible Worlds Semantics
Working within standard classical higher-order logic, we propose a possible worlds semantics (PWS) which combines the simplicity of the familiar Montague semantics (MS), in which propositions are sets of worlds, with the fine-grainedness of the older but less well-known tractarian semantics (TS) of Wittgenstein and C.I. Lewis, wherein worlds are maximal consistent sets of propositions. The prop...
متن کامل